
LDFLAGS=-lgurobi_c++ -lpcre -lpcrecpp -lgurobi46 -lpthread -lz -lreadline -lcdb
OBJS=main.o plugin.o variable_manager.o knowledge_base.o inference_engine.o ilp.o henry.o   

CC=g++
CFLAGS=

%.o: %.cpp
	$(CC) $(CFLAGS) $(OPTIONS) -c $< -o $@

all: $(OBJS)
	$(CC) $(CFLAGS) $(OBJS) $(LDFLAGS) $(OPTIONS) -o ../henry 

trans:
	cd ../; make trans
